Optimal. Leaf size=85 \[ \frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}+\frac{2 b \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}}-\frac{2 b \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0515333, antiderivative size = 85, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.312, Rules used = {5916, 329, 298, 205, 208} \[ \frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}+\frac{2 b \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}}-\frac{2 b \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5916
Rule 329
Rule 298
Rule 205
Rule 208
Rubi steps
\begin{align*} \int \frac{a+b \tanh ^{-1}(c x)}{\sqrt{d x}} \, dx &=\frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}-\frac{(2 b c) \int \frac{\sqrt{d x}}{1-c^2 x^2} \, dx}{d}\\ &=\frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}-\frac{(4 b c) \operatorname{Subst}\left (\int \frac{x^2}{1-\frac{c^2 x^4}{d^2}} \, dx,x,\sqrt{d x}\right )}{d^2}\\ &=\frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}-(2 b) \operatorname{Subst}\left (\int \frac{1}{d-c x^2} \, dx,x,\sqrt{d x}\right )+(2 b) \operatorname{Subst}\left (\int \frac{1}{d+c x^2} \, dx,x,\sqrt{d x}\right )\\ &=\frac{2 b \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}}+\frac{2 \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right )}{d}-\frac{2 b \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{\sqrt{c} \sqrt{d}}\\ \end{align*}
Mathematica [A] time = 0.031621, size = 98, normalized size = 1.15 \[ \frac{\sqrt{x} \left (2 a \sqrt{c} \sqrt{x}+b \log \left (1-\sqrt{c} \sqrt{x}\right )-b \log \left (\sqrt{c} \sqrt{x}+1\right )+2 b \tan ^{-1}\left (\sqrt{c} \sqrt{x}\right )+2 b \sqrt{c} \sqrt{x} \tanh ^{-1}(c x)\right )}{\sqrt{c} \sqrt{d x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.013, size = 70, normalized size = 0.8 \begin{align*} 2\,{\frac{a\sqrt{dx}}{d}}+2\,{\frac{b\sqrt{dx}{\it Artanh} \left ( cx \right ) }{d}}+2\,{\frac{b}{\sqrt{cd}}\arctan \left ({\frac{c\sqrt{dx}}{\sqrt{cd}}} \right ) }-2\,{\frac{b}{\sqrt{cd}}{\it Artanh} \left ({\frac{c\sqrt{dx}}{\sqrt{cd}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.32443, size = 487, normalized size = 5.73 \begin{align*} \left [-\frac{2 \, \sqrt{c d} b \arctan \left (\frac{\sqrt{c d} \sqrt{d x}}{c d x}\right ) - \sqrt{c d} b \log \left (\frac{c d x - 2 \, \sqrt{c d} \sqrt{d x} + d}{c x - 1}\right ) -{\left (b c \log \left (-\frac{c x + 1}{c x - 1}\right ) + 2 \, a c\right )} \sqrt{d x}}{c d}, \frac{2 \, \sqrt{-c d} b \arctan \left (\frac{\sqrt{-c d} \sqrt{d x}}{c d x}\right ) - \sqrt{-c d} b \log \left (\frac{c d x - 2 \, \sqrt{-c d} \sqrt{d x} - d}{c x + 1}\right ) +{\left (b c \log \left (-\frac{c x + 1}{c x - 1}\right ) + 2 \, a c\right )} \sqrt{d x}}{c d}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{a + b \operatorname{atanh}{\left (c x \right )}}{\sqrt{d x}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16206, size = 119, normalized size = 1.4 \begin{align*} \frac{{\left (2 \, c d{\left (\frac{\arctan \left (\frac{\sqrt{d x} c}{\sqrt{c d}}\right )}{\sqrt{c d} c} + \frac{\arctan \left (\frac{\sqrt{d x} c}{\sqrt{-c d}}\right )}{\sqrt{-c d} c}\right )} + \sqrt{d x} \log \left (-\frac{c x + 1}{c x - 1}\right )\right )} b + 2 \, \sqrt{d x} a}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]